The main aim of the paper is to solve a problem posed in Di Nola et al. (Multiple Val. Logic 8:715–750, 2002) whether every pseudo BL-algebra with two negations is good, i.e. whether the two negations commute. This property is intimately connected with possessing a state, which in turn is essential in quantum logical applications. We approach the solution by describing the structure of pseudo BL-algebras and pseudo hoops as important families of quantum structures. We show when a pseudo hoop (...) can be embedded into the negative cone of the reals. We give an equational base characterizing representable pseudo hoops. We also describe some subvarieties: normal-valued, and varieties where each maximal filter is normal. We produce some noncommutative covers and extend the area where each algebra is good. Finally, we show that there are uncountably many subvarieties of pseudo BL-algebras having members that are not good. (shrink)

In the present paper we continue the investigation of the lattice of subvarieties of the variety of ${\sqrt{\prime}}$ quasi-MV algebras, already started in [6]. Beside some general results on the structure of such a lattice, the main contribution of this work is the solution of a long-standing open problem concerning these algebras: namely, we show that the variety generated by the standard disk algebra D r is not finitely based, and we provide an infinite equational basis for the same variety.

In the present paper we continue the investigation of the lattice of subvarieties of the variety of √′ P quasi-MV algebras, already started in [6]. Beside some general results on the structure of such a lattice, the main contribution of this work is the solution of a long-standing open problem concerning these algebras: namely, we show that the variety generated by the standard disk algebra D r is not finitely based, and we provide an infinite equational basis for the same (...) variety. (shrink)

A two-body quantum correlation is calculated for a particle reflecting from a moving mirror. Correlated interference results when the incident and reflected particle substates and their associated mirror substates overlap. Using the Copenhagen interpretation of measurement, an asynchronous joint probability density, which is a function both of the different positions and different times at which the particle and mirror are measured, is derived assuming that no interaction occurs between each measurement. Measurement of the particle first, in the correlated interference region, (...) results in a splitting of the mirror substate into ones which have and have not reflected the particle. An analog of the interference from the Doppler effect for only measurements of the particle, in this two-body system, is shown to be a consequence of the asynchronous measurement. The simplification obtained for a microscopic particle reflecting from a mesoscopic or macroscopic mirror is used to illustrate asynchronous correlation interferometry. In this case, the small displacement between these mirror states can yield negligible environmental decoherence times. In addition, interference of these mirror states does not vanish in the limit of large mirror mass due to the small momentum exchange in reflecting a microscopic particle. (shrink)

The Royal Society report updates the anthropogenic impacts on ecosystems services and our inability to rise to this challenge. Sustainable development is argued to be a linguistic device that has been instrumental in deflecting us from addressing the paradox at the heart of the oxymoron. The relationships between the social, environmental, and economic are explored together with the utility of the I = PAT equation, with reference to the Hardin Taboo, Jevons's, and Easterlin's paradoxes. A more prominent role for phronesis (...) in the management of human affairs and the adoption of ethics as the language for dealing with such issues are advocated. (shrink)

Quasi-MV algebras are generalisations of MV algebras arising in quantum computational logic. Although a reasonably complete description of the lattice of subvarieties of quasi-MV algebras has already been provided, the problem of extending this description to the setting of quasivarieties has so far remained open. Given its apparent logical repercussions, we tackle the issue in the present paper. We especially focus on quasivarieties whose generators either are subalgebras of the standard square quasi-MV algebra S , or can be obtained therefrom (...) through the addition of some fixpoints for the inverse. (shrink)

On the lives and philosophy of the Prophets of Islam and Sufi Muslim saints.

Epistemic decision theorists aim to justify Bayesian norms by arguing that these norms further the goal of epistemic accuracy—having beliefs that are as close as possible to the truth. The standard defense of Probabilism appeals to accuracy dominance: for every belief state that violates the probability calculus, there is some probabilistic belief state that is more accurate, come what may. The standard defense of Conditionalization, on the other hand, appeals to expected accuracy: before the evidence is in, one should expect (...) to do better by conditionalizing than by following any other rule. We present a new argument for Conditionalization that appeals to accuracy‐dominance, rather than expected accuracy. Our argument suggests that Conditionalization is a rule of coherence: plans that conflict with Conditionalization don't just prescribe bad responses to the evidence; they also give rise to inconsistent attitudes. (shrink)

Part of the Studies in Crime and Public Policy series, this book, written by one of the top philosophers of punishment, examines the main trends in penal theorizing over the past three decades. Duff asks what can justify criminal punishment, and then explores the legitimacy of actual practices by examining what would count as adequate justification for them. Duff argues that a "communicative conception of punishment," which he presents as a third way between consequentialist and retributive theories, offers the most (...) fruitful way of understanding punishment's meaning and justification. Duff addresses such questions as how much sentences should be constrained by proportionality requirements; what modalities of punishment best communicate their intended meaning; and what decisionmaking procedures he envisions. This book will appeal to criminologists, philosophers, and others interested in theories of punishment. (shrink)

I can get away with it because no one is in a position to call me on it. Professor Robinson cannot consistently complain that (A) begs the question against his thesis that there is no such fallacy. He would discourage anyone from "helping" him by accusing me of committing the fallacy against him. With advocates like that, who needs adversaries? I. EMBEDDING PERSPECTIVES After all, Robinson has a viable reply to my argument. He should simply deny my premise. Later I (...) will show how (A) might rationally persuade Robinson. But my immediate goal is not to convert the skeptic about the existence of the fallacy but rather to use his extreme position to make a point about the nature of question-begging. Those who object that argument (A) begs the question against Robinson must do so on behalf of Robinson. This assistance requires that one launch the accusation from Robinson's perspective and with his dialectical interests at heart. (shrink)

Marcia Baron has offered an illuminating and fruitful discussion of extra-legal excuses. What is particularly useful, and particularly important, is her focus on our excusatory practices—on the ways and contexts in which we make, offer, accept, bestow and reject excuses: if we are to reach an adequate understanding of excuses, their implications and their grounds, we must attend to the roles that they can play in our human activities and relationships—and to the complexities and particularities of those roles. However, I (...) want to focus my comments less on the details of Baron’s discussions of excuses in extra-legal contexts than on the implications of her discussion for our understanding of excuses in the criminal law. What light (if any, a sceptic might add) can such analyses of our extra-legal concepts and practices throw on legal concepts and doctrines? (shrink)

In response to Lawrence Solum's advocacy of a ‘virtue–centred theory of judging’, I argue that there is indeed important work to be done in identifying and characterising those qualities of character that constitute judicial virtues – those qualities that a person needs if she is to judge well (though I criticise Solum's account of one of the five pairs of judicial vices and virtues that he identifies – avarice and temperance). However, Solum's more ambitious claims – that a judge's vice (...) necessarily corrupts her decisions, and that in at least some contexts we must define a legally correct decision as one that would be reached by a virtuous judge – should be rejected: we can undermine the former by attending to the requirements of due process, and the latter by attending to the ways in which a judge would try to justify her decision. (shrink)

After distinguishing different species of Legal Moralism I outline and defend a modest, positive Legal Moralism, according to which we have good reason to criminalize some type of conduct if it constitutes a public wrong. Some of the central elements of the argument will be: the need to remember that the criminal law is a political, not a moral practice, and therefore that in asking what kinds of conduct we have good reason to criminalize, we must begin not with the (...) entire realm of wrongdoing, but with conduct falling within the public realm of our civic life; the need to look at the different processes of criminalization, and to ask what kinds of consideration can properly figure in those processes; the need to attend to the relationship, and the essential differences, between criminal law and other modes of legal regulation. (shrink)

In this article, we consider two independently appealing theories—the Growing-Block view and Humean Supervenience—and argue that at least one is false. The Growing-Block view is a theory about the nature of time. It says that past and present things exist, while future things do not, and the passage of time consists in new things coming into existence. Humean Supervenience is a theory about the nature of entities like laws, nomological possibility, counterfactuals, dispositions, causation, and chance. It says that none of (...) these entities are fundamental, since if they were, this would entail the existence of irreducible necessary connections between matters of fact. Instead, these entities supervene on a fundamental, non-nomological ‘Humean mosaic’ of property instances at spacetime points. We will further explain and motivate the Growing-Block view and Humean Supervenience in Sects. 2 and 3, but first, we turn to our master argument. (shrink)

How can a system of criminal punishment be justified? In particular can it be justified if the moral demand that we respect each other as autonomous moral agents is taken seriously? Traditional attempts to justify punishment as a deterrent or as retribution fail, but Duff suggests that punishment can be understood as a communicative attempt to bring a wrong-doer to repent her crime. This account is supported by discussions of moral blame, of penance, of the nature of the law's demands, (...) and of the proper meaning and purpose of the criminal process of trial and verdict: it deals both with the ideals that should inform a system of criminal law and the extent to which those ideals are actualised in existing institutions and practices. The conclusion is pessimistic: punishment cannot be justified within our legal system; and this gap between the ideal and the actual presents us with serious moral dilemmas. (shrink)

I begin by discussing the ways in which a would-be blamer's own prior conduct towards the person he seeks to blame can undermine his standing to blame her. This provides the basis for an examination of a particular kind of 'bar to trial' in the criminal law – of ways in which a state or a polity's right to put a defendant on trial can be undermined by the prior misconduct of the state or its officials. The examination of this (...) often neglected legal phenomenon illuminates some central features of the criminal law and the criminal process, and some of the preconditions for the legitimacy of the criminal law in a liberal republic. (shrink)

After reviewing some of the difficulties caused by spam and summarizing the arguments of its defenders, this paper will focus on its present legal status. It will then dwell on spam from a moral point of view and address some of the ethical implications associated with transmitting this unsolicited commercial e-mail. It will attempt to sort out the conflicting rights involved and develop a viable case that even if we prescind from its social costs, spam is ethically questionable under certain (...) conditions. Moreover, given the current volume of spam and its negative impact on the Internet environment, the transmission of spam can also be characterized as an asocial act primarily because of the significant externalities which it generates. As a result, spam cannot be justified from the perspective of duty-based moral philosophies that emphasize the need to conform to the legitimate norms of the community. (shrink)

It is argued that the Tractatus Project of Logical Atomism, in which the world is conceived of as the totality of independent atomic facts, can usefully be understood by conceiving of each fact as a bit in logical space. Wittgenstein himself thinks in terms of logical space. His elementary propositions, which express atomic facts, are interpreted as tuples of co-ordinates which specify the location of a bit in logical space. He says that signs for elementary propositions are arrangements of names. (...) Here, the names are understood as numerical symbols specifying coordinates. It is argued that, using this approach, the so-called colour-exclusion problem, which was Wittgensteins reason for abandoning the Tractatus, is in fact soluble. However, if logical space is a continuum then some coordinates will need to be expressed by numerical symbols that are infinite in size. How is this to be understood in Tractatus terms? It is shown that, in the Tractatus, Wittgenstein did recognise the possibility of infinite propositions and sentences expressing them. At first sight his approach to infinite sentences, and the approach of the present paper, seem to differ, but it is argued that the difference is superficial. Finally, we address the question of whether Logical Atomism is viable and this raises issues concerning its relationship to natural science. (shrink)

Some standards, such as moral and prudential standards, provide genuinely or authoritatively normative reasons for action. Other standards, such as the norms of masculinity and the mafia’s code of omerta, provide reasons but do not provide genuinely normative reasons for action. This paper first explains that there is a similar distinction amongst attitudinal standards: some attitudes (belief, desire) have standards that seem to give rise to genuine normativity; others (boredom, envy) do not. This paper gives a value-based account of which (...) attitudinal standards give rise to genuine normativity. It argues that this account has interesting implications before extending it to provide an account of which action-guiding standards are genuinely normative. It argues that this value-based account of which standards are genuinely normative is more plausible than alternatives suggested in the literature and has interesting implications for genuine normativity in law and aesthetics. (shrink)

Two treatises on memory which have come down to us from antiquity are Aristotle’s “On memory and recollection” and Plotinus’ “On perception and memory” ; the latter also wrote at length about memory in his “Problems connected with the soul”. In both authors memory is treated as a ‘modest’ faculty: both authors assume the existence of a persistent subject to whom memory belongs; and basic cognitive capacities are assumed on which memory depends. In particular, both theories use phantasia to explain (...) memory. Aristotle takes representations to be changes in concrete living things which arise from actual perception. To be connected to the original perception the representation has to be taken as a copy of the original experience ‑ this is the way Aristotle defines memory at the end of his investigation. Plotinus does not define memory: he is concerned with the question of what remembers. This is of course the soul, which goes through different stages of incarnation and disincarnation. Since the disembodied soul can remember, so he does not have Aristotle’s resources for explaining the continued presence of representations as changes in the concrete thing. Instead, he thinks that when acquiring a memory we acquire a capacity in respect of the object of the memory, namely to make it present at a later time. (shrink)

Epistemicists say there is a last positive instance in a sorites sequence-we just cannot know which is the last. Timothy Williamson explains that knowledge requires a margin for error and this ensures that the last heap will not be knowable as a heap. However, there is a class of disjunctive predicates for which knowledge at the thresholds is possible. They generate sorites paradoxes that cannot be diagnosed with the margin for error principle.

We show that five important elements of the ‘nomological package’— laws, counterfactuals, chances, dispositions, and counterfactuals—needn’t be a problem for the Growing-Block view. We begin with the framework given in Briggs and Forbes (in The real truth about the unreal future. Oxford studies in metaphysics. Oxford University Press, Oxford, 2012 ), and, taking laws as primitive, we show that the Growing-Block view has the resources to provide an account of possibility, and a natural semantics for non-backtracking causal counterfactuals. We show (...) how objective chances might ground a more fine-grained concept of feasibility, and furnished a places in the structure where causation and dispositions might fit. The Growing-Block view, thus understood, provides the resources to explain the close link between modality and tense, so that it predicts modal change as time passes. This account lets us capture not only what the future might hold for us, and also what might have been. (shrink)

He then proceeds with an examination of the picture theory developed by Wittgenstein, Carnap, and Goodman, and concludes with an examination of Patricia Churchland, Ruth Millikan, Robert Cummins, and Mark Rollins. The use of the historical development of representationalism to pose a central problem in contemporary cognitive science is unique.

We can gain fresh insights into aspects of criminal liability by focusing first on the prior topic of criminal responsibility, and on the relational dimensions of responsibility: responsibility is responsibility for something, to someone. We are criminally responsible as citizens, to our fellow citizens, for committing 'public' wrongs: I discuss the difficulty of giving determinate content to this idea of public wrongs, and the way in which, whereas moral responsibility is typically strict, criminal responsibility is not. Finally, I explore the (...) grounds on which defendants might deny that they are criminally responsible before the courts that seek to try them. (shrink)

I am interested in extending modal calculi by adding propositional quantifiers, given by the rules for quantifier introduction: provided that p does not occur free in A.

The browser wars case is a useful springboard for considering the principle of positive competition and the proper regulation of platform technologies. There are lessons to be culled about policy, the application of antitrust law, and the parameters of fair competition. We argue that despite Microsofts opportunistic exploitation of its proprietary code, policy makers should resist the temptation to mandate an open source code model. Vigilant anti-trust enforcement is a preferable alternative. But courts must refrain from using antitrust law to (...) favor small innovators or to constrain the economic protections inherent in intellectual property rights, since those rights are still needed to encourage innovation. On the other hand, despite the exigencies of competition, platform leaders should respect the norm of fair competition and refrain from the impulse to tilt the platform in their favor. Preservation of robust intellectual property rights, deft application of antitrust statutes, and principled competition represent the best prescription for social wealth in the New Economy. (shrink)

According to its supporters open source software is more secure and reliable than proprietary code, and even tends to foster more innovation. Its technical superiority can be linked to the ongoing peer review process which typifies the open source model. In addition, programs such as Linux offer a potential challenge to the hegemony of Microsoft. Open source holds out the possibility of restraining platform leaders such as Microsoft from acting opportunistically. Some even argue that the open source code model is (...) ethically superior to the proprietary model because of its transparency. Given these economic and social benefits, should government policy makers intervene, by tilting the playing field to open source programs? Would such government intervention truly be welfare‐enhancing? Before answering that question we note that some of the presumed technical and economic benefits of open source software are open to question. At the same time, the claims of moral superiority or social desirability are inflated and discount incentives necessary for software development. But even if this software were technically and morally superior, there is still no basis for government intervention. Our position is simple: the invisible hand of the market and not the visible hand of government should decide the fate of open source code. There is no identifiable market failure for the government to fix nor is there any plausible policy justification for giving open source software preferential treatment. (shrink)

There are important similarities between moral thought and talk and thought and talk about gender: disagreements about gender, like disagreements about morality, seem to be intractable and to outstrip descriptive agreement; and it seems coherent to reject any definition of what it is to be a woman in terms of particular social, biological, or other descriptive features, just as it seems coherent to reject any definition of what it is to be good or right in terms of any set of (...) descriptive properties. These similarities give us reason to investigate the idea that, like moral thought and talk, gender thought and talk is inherently normative. This paper proposes a normative account of gender thought and talk in terms of fitting treatment. On this fitting treatment account, to judge that A is gender G is just to judge that it is fitting to treat A as a G. This account is a descriptive or hermeneutical account of our gender thought and talk rather than an ameliorative account of our gender concepts or a metaphysical account of gender properties in social metaphysics. This paper argues that other descriptive accounts of gender thought and talk face problems that the fitting treatment account overcomes. (shrink)